Encyclopédie Universelle. 2012.
Calcul des prédicats — Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin du XIXe siècle et … Wikipédia en Français
Systeme F — Système F Pour les articles homonymes, voir System F (homonymie). Le système F (également connu sous le nom de lambda calcul polymorphe ou de lambda calcul du second ordre) est une extension du lambda calcul simplement typé introduite… … Wikipédia en Français
Système F — Pour les articles homonymes, voir System F (homonymie). Le système F (également connu sous le nom de lambda calcul polymorphe ou de lambda calcul du second ordre) est une extension du lambda calcul simplement typé introduite indépendamment par le … Wikipédia en Français
Variable libre — En mathématiques, et dans d autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre ou variable parlante est une notation qui spécifie à quelles places dans une expression mathématique (en) une… … Wikipédia en Français
muet — muet, muette [ mɥɛ, mɥɛt ] adj. et n. • XIIe; dimin. de l a. fr. mu, lat. mutus A ♦ (Personnes) 1 ♦ Qui est privé de l usage de la parole (⇒ mutisme, mutité). Muet de naissance. Sourd et muet. ⇒ sourd muet. « Voilà pourquoi votre fille est muette … Encyclopédie Universelle
muette — [ mɥɛt ] n. f. • muete 1387 « gîte du lièvre »; a. orthogr. de meute → meute ♦ Vx Petite maison qui servait de logis aux chiens de meute. Pavillon qui servait de rendez vous de chasse. ⊗ HOM. Muette (muet). ● muette nom féminin La grande muette,… … Encyclopédie Universelle
mutifiant — [mytifjɑ̃] adj. ÉTYM. XXe; formation savante, du lat. mutus « muet », et de fier. ❖ ♦ Math. || Symbole mutifiant : mutificateur … Encyclopédie Universelle
